cfg to cnf conversion example